Une Double Hierarchie Infinie de Langages Verifiables

نویسنده

  • François Rodriguez
چکیده

© AFCET, 1975, tous droits réservés. L’accès aux archives de la revue « Revue française d’automatique, informatique, recherche opérationnelle. Informatique théorique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal. php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Remarques sur les Langages de Parenthèses

La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la f...

متن کامل

Langages algébriques de mots biinfinis

Les langages rationnels de mots biinfinis ont CtC rkemment dCfinis et CtudiCs dans divers articles [2,3, lo]; ce sont les langages de mots biinfinis qui appartiennent 5 la fermeture rationnelle biinfinie des langages rationnels de mots finis (c’est B dire qui sont union finie de langages de la forme “ABC” oh A, B, C sont des langages rationnels de mots finis). Nous nous proposons dans ce papier...

متن کامل

Des grammaires de graphes contextuelles qui charactérisent les langages contextuels

Deterministic graph grammars generate a family of infinite graphs which characterize context-free (word) languages. In this paper we presents a context-sensitive extension of these grammars. We achieve a characterization of context-sensitive (word) languages. We show that this characterization is not straightforward and that unless having some rigorous restrictions, contextual graph grammars ge...

متن کامل

Diagnostic et contrôle de la dégradation des systèmes probabilistes

Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosticable. Afin d’éviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consiste à assurer une probabilité positive qu’une exécution infinie soit correcte, ce...

متن کامل

Congenital Absence of Renal Artery: Introducing Two Patients

Les auteurs font une revue de la litterature a propos de deux cas de l'agenesie de l'artere renale, anomalie rare, dont les circonstances de decouverte varient selon les cas: infections recidiventes des voies urinaires, anomalie du Perinee, hypertension arterielle.  La premiere observation concerne une fillette a.gee de 7 ans, hospitalisee pour une insuffi­sance cardiaque severe avec hypertens...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • ITA

دوره 9  شماره 

صفحات  -

تاریخ انتشار 1975